integration of sin2x dx